搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] 0 索取号：TP3-53/E997/3 作者：Symposium on Computer Arithmetic、 3d、 Southern Methodist University、 1975.、IEEE Computer Society.、出版社：N.Y. IEEE Long Beach, Calif. : The Society, 1975.		Proceedings of the 1987 International Conference on Parallel Processing, August 17-21, 1987 0 索取号：TP338.6-532/E20062/1987 作者：International Conference on Parallel Processing (1987 : Pennsylvania State University)、Sahni、 Sartaj.、Pennsylvania State University. Dept. of Electrical Engineering.、出版社：University Park, PA : Pennsylvania State University Press, c1987.
	24th Annual Symposium on Foundations of Computer Science 0 索取号：TP3-53/E905/24 作者：Symposium on Foundations of Computer Science (24th : 1983 : Tucson、 Ariz.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Silver Spring, Md. : IEEE Computer Society Pr., c1983.		Computer vision systems : papers from the Workshop on Computer Vision Systems, held at the University of Massachusetts, Amherst, Massachusetts, June 1-3, 1977 0 索取号：TP3-53/E808/1977 作者：Workshop on Computer Vision Systems、 University of Massachusetts、 Amherst、 1977.、Hanson、 Allen R.、 1942-、Riseman、 Edward M.、出版社：New York : Academic Press, 1978.
	Motion : representation and perception : proceedings of the ACM SIGGRAPH/SIGART Interdisciplinary Workshop on Motion, Representation and Perception, held in Toronto, Ontario, Canada, 1983 0 索取号：TP3-53/E9020/1983 作者：ACM SIGGRAPH/SIGART Interdisciplinary Workshop (1983 : Toronto、 Ont.)、Badler、 Norman I.、Tsotsos、 John K.、SIGGRAPH.、SIGART.、出版社：New York : North-Holland ; Amsterdam, the Netherlands : Sole distributors outside the United States and Canada, Elsevier Science Publishers, 1986.		Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 0 索取号：TP3-53/E9018/2 作者：ACM Symposium on Principles of Distributed Computing (2nd : 1983 : MontŕЕal、 QúЕbec)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Operating Systems.、出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD. : Copies from ACM Order Dept., 1983.
	Parallel computers--parallel mathematics : proceedings of the IMACS (AICA)-GI Symposium, March 14-16, 1977, Technical University of Munich 0 索取号：TP3-53/E8027/1977 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977.		High speed computer and algorithm organization : [proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977] 0 索取号：TP3-53/E802 作者：Symposium on High Speed Computer and Algorithm Organization、 University of Illinois、 1977.、Kuck、 D. J.、Lawrie、 Duncan、 1943-、Sameh、 Ahmed.、出版社：New York : Academic Press, 1977.
	Proceedings of the 1982 International Conference on Parallel Processing, August 24-27, 1982 0 索取号：TP338.6-532/E20062/1982 作者：International Conference on Parallel Processing (1982 : Ohio State University)、Batcher、 Kenneth E.、Meilander、 Willard C.、Potter、 Jerry L.、Ohio State University. Dept. of Computer and Information Science.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1982.		High-speed computation 0 索取号：TP3/E9019 作者：NATO Advanced Research Workshop on High-Speed Computation (1983 : J̈Уlich、 Germany)、Kowalik、 Janusz S.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings 0 索取号：TP3/E992 作者：出版社：Berlin ; New York : Springer-Verlag, 1991.		Protocol test systems, III : proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems 0 索取号：TP274-53/E991/3 作者：IFIP TC6 International Workshop on Protocol Test Systems (3rd : 1990 : McLean、 Va.)、Davidson、 Ian、 1944-、Litwack、 David M.、International Federation for Information Processing. Technical Committee 6.、Corporation for Open Systems International.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
	Multivariable control system design and applications : [proceedings of a conference held] 1-3 September 1971, [at the] University of Manchester, Owens Park 0 索取号：TP273-53/E808 作者：UKAC Control Convention、 4th、 University of Manchester、 1971.、United Kingdom Automation Council.、Institution of Electrical Engineers.、University of Manchester.、出版社：London, Institution of Electrical Engineers, 1971.		Adaptive systems in control and signal processing 1983 : proceedings of the IFAC workshop, San Franciso, USA, 20-22 June, 1983 0 索取号：TP273-53/E903 作者：出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983,c1984.
	Control applications of nonlinear programming : proceedings of the IFAC workshop, Denver, Colorado, USA, 21 June 1979 0 索取号：TP273-53/E904 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1979,c1980.		Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 2 0 索取号：TP271.7/E801/3.2 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.

	3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] 0 索取号：TP3-53/E997/3 作者：Symposium on Computer Arithmetic、 3d、 Southern Methodist University、 1975.、IEEE Computer Society.、出版社：N.Y. IEEE Long Beach, Calif. : The Society, 1975.		Proceedings of the 1987 International Conference on Parallel Processing, August 17-21, 1987 0 索取号：TP338.6-532/E20062/1987 作者：International Conference on Parallel Processing (1987 : Pennsylvania State University)、Sahni、 Sartaj.、Pennsylvania State University. Dept. of Electrical Engineering.、出版社：University Park, PA : Pennsylvania State University Press, c1987.
	24th Annual Symposium on Foundations of Computer Science 0 索取号：TP3-53/E905/24 作者：Symposium on Foundations of Computer Science (24th : 1983 : Tucson、 Ariz.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Silver Spring, Md. : IEEE Computer Society Pr., c1983.		Computer vision systems : papers from the Workshop on Computer Vision Systems, held at the University of Massachusetts, Amherst, Massachusetts, June 1-3, 1977 0 索取号：TP3-53/E808/1977 作者：Workshop on Computer Vision Systems、 University of Massachusetts、 Amherst、 1977.、Hanson、 Allen R.、 1942-、Riseman、 Edward M.、出版社：New York : Academic Press, 1978.
	Motion : representation and perception : proceedings of the ACM SIGGRAPH/SIGART Interdisciplinary Workshop on Motion, Representation and Perception, held in Toronto, Ontario, Canada, 1983 0 索取号：TP3-53/E9020/1983 作者：ACM SIGGRAPH/SIGART Interdisciplinary Workshop (1983 : Toronto、 Ont.)、Badler、 Norman I.、Tsotsos、 John K.、SIGGRAPH.、SIGART.、出版社：New York : North-Holland ; Amsterdam, the Netherlands : Sole distributors outside the United States and Canada, Elsevier Science Publishers, 1986.		Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 0 索取号：TP3-53/E9018/2 作者：ACM Symposium on Principles of Distributed Computing (2nd : 1983 : MontŕЕal、 QúЕbec)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Operating Systems.、出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD. : Copies from ACM Order Dept., 1983.
	Parallel computers--parallel mathematics : proceedings of the IMACS (AICA)-GI Symposium, March 14-16, 1977, Technical University of Munich 0 索取号：TP3-53/E8027/1977 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977.		High speed computer and algorithm organization : [proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977] 0 索取号：TP3-53/E802 作者：Symposium on High Speed Computer and Algorithm Organization、 University of Illinois、 1977.、Kuck、 D. J.、Lawrie、 Duncan、 1943-、Sameh、 Ahmed.、出版社：New York : Academic Press, 1977.
	Proceedings of the 1982 International Conference on Parallel Processing, August 24-27, 1982 0 索取号：TP338.6-532/E20062/1982 作者：International Conference on Parallel Processing (1982 : Ohio State University)、Batcher、 Kenneth E.、Meilander、 Willard C.、Potter、 Jerry L.、Ohio State University. Dept. of Computer and Information Science.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1982.		High-speed computation 0 索取号：TP3/E9019 作者：NATO Advanced Research Workshop on High-Speed Computation (1983 : J̈Уlich、 Germany)、Kowalik、 Janusz S.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings 0 索取号：TP3/E992 作者：出版社：Berlin ; New York : Springer-Verlag, 1991.		Protocol test systems, III : proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems 0 索取号：TP274-53/E991/3 作者：IFIP TC6 International Workshop on Protocol Test Systems (3rd : 1990 : McLean、 Va.)、Davidson、 Ian、 1944-、Litwack、 David M.、International Federation for Information Processing. Technical Committee 6.、Corporation for Open Systems International.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
	Multivariable control system design and applications : [proceedings of a conference held] 1-3 September 1971, [at the] University of Manchester, Owens Park 0 索取号：TP273-53/E808 作者：UKAC Control Convention、 4th、 University of Manchester、 1971.、United Kingdom Automation Council.、Institution of Electrical Engineers.、University of Manchester.、出版社：London, Institution of Electrical Engineers, 1971.		Adaptive systems in control and signal processing 1983 : proceedings of the IFAC workshop, San Franciso, USA, 20-22 June, 1983 0 索取号：TP273-53/E903 作者：出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983,c1984.
	Control applications of nonlinear programming : proceedings of the IFAC workshop, Denver, Colorado, USA, 21 June 1979 0 索取号：TP273-53/E904 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1979,c1980.		Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 2 0 索取号：TP271.7/E801/3.2 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.